Skip to content

ci: add optional praxis main testing and known-issue label#326

Open
leseb wants to merge 11 commits into
praxis-proxy:mainfrom
leseb:leseb/test-on-main
Open

ci: add optional praxis main testing and known-issue label#326
leseb wants to merge 11 commits into
praxis-proxy:mainfrom
leseb:leseb/test-on-main

Conversation

@leseb

@leseb leseb commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Adds praxis_main workflow_dispatch input to Tests and Integration workflows to optionally build/test against praxis core main branch instead of the crates.io release (uses [patch.crates-io] overrides)
  • Adds praxis-known-issue PR label support: when applied, jobs use continue-on-error so transient praxis core failures don't block PRs
  • Adds patch-praxis / unpatch-praxis Makefile targets for local development against a sibling ../praxis checkout
  • Restores clone-praxis composite action with configurable ref input and adds new patch-praxis composite action

Test plan

  • Manually trigger Tests workflow with praxis_main: true on this branch
  • Apply praxis-known-issue label and verify jobs report green on failure
  • Run make patch-praxis locally with ../praxis present, verify build

leseb added 2 commits July 9, 2026 21:46
Add CI support for testing against praxis core main branch via
workflow_dispatch input, and a praxis-known-issue PR label that
allows jobs to pass despite failures from transient core issues.

Signed-off-by: Sébastien Han <seb@redhat.com>
@leseb

leseb commented Jul 10, 2026

Copy link
Copy Markdown
Contributor Author

I'm opening this as a draft since i think it's valuable to test regularly against praxis main but would like inputs from other maintainers too - @franciscojavierarceo @aslakknutsen

@leseb leseb marked this pull request as ready for review July 15, 2026 13:23
@leseb leseb requested review from a team and crstrn13 July 15, 2026 13:23
leseb added 9 commits July 15, 2026 15:23
Remove the conditional gating so clone-praxis and patch-praxis
steps run unconditionally. Rename the workflow_dispatch input
from praxis_main (boolean) to praxis_ref (string) so manual
runs can target a specific branch or tag.

Signed-off-by: Sébastien Han <seb@redhat.com>
Move praxis-main testing into a dedicated workflow
(praxis-compat.yaml) so regular CI stays on crates.io
and the praxis-main job is visually distinct. The new
test-praxis-main check is excluded from ci-status so
it does not block PRs.

Also make Config construction forward-compatible by
using serde round-trip instead of struct literals, so
new #[serde(default)] fields in praxis-core (like
metrics) are handled automatically.

Signed-off-by: Sébastien Han <seb@redhat.com>
Praxis core main added peer_identity, pre_read_mutations,
and structured_metadata fields to HttpFilterContext. Use a
praxis-main feature flag to conditionally include these
fields in the test context constructors.

The praxis-compat CI workflow passes --features praxis-main
when running unit tests for apis and filters crates.

Signed-off-by: Sébastien Han <seb@redhat.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant